منابع مشابه
The Exascale Computing Project
E xascale computing—computing capability that can achieve at least a billion billion operations per second, 50 to 100 times more powerful than the nation’s fastest supercomputers in use today—is the next waypoint in high-performance computing (HPC). Achieving such speeds isn’t an easy task. To be useful to a wide spectrum of applications, in addition to peak speed, supercomputers need to have l...
متن کاملThe International Exascale Software Project Roadmap the International Exascale Software Project Roadmap
Over the last 20 years, the open-source community has provided more and more software on which the world’s highperformance computing systems depend for performance and productivity. The community has invested millions of dollars and years of effort to build key components. However, although the investments in these separate software elements have been tremendously valuable, a great deal of prod...
متن کاملTowards Exascale: High Performance Visualization and Analytics – Project Status Report
The LBNL Visualization research program focuses on a key set of problems facing our community as we move towards the exascale regime of computing. First, we aim to better understand how to effectively take advantage of an evolving architectural landscape where there are an increasing number of cores per processor by examining algorithmic reformulation and alternative methods of programming thes...
متن کاملNucleus: A Pilot Project
Early in 2016, an environmental scan was conducted by the Research Library Data Working Group for three purposes: 1.) Perform a survey of the data management landscape at Los Alamos National Laboratory in order to identify local gaps in data management services. 2.) Conduct an environmental scan of external institutions to benchmark budgets, infrastructure, and personnel dedicated to data manag...
متن کاملFormal Methods Pilot Project
This paper reports on a collaborative project to pilot the use of formal methods in the development of safetyrelated somare. Using the SVRC’s Cogito methodology, stafs from CSC Australia undertook: formal specijication; validation of the specijication by mathematical consistency checks; hazard analysis; and validation of the speciJication against the safety requirements. Part of the design was ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPJ Web of Conferences
سال: 2020
ISSN: 2100-014X
DOI: 10.1051/epjconf/202024509015